Social Acceptance for Energy Efficient Solutions in Renovation Processes

Acceptance Trees for Probabilistic Processes

In this paper we study the extension of classical testing theory to a probabilistic process algebra. We consider a generative interpretation of probabilities for a language with two choice operators (one internal and the other external), which are annotated with a probability p 2 (0; 1). We deene a testing semantics for our language, and we write P passp T to denote that the process P passes th...

Building renovation processes towards low greenhouse gas emissions and energy use

Large residential areas in Sweden and elsewhere are facing a need for renovation. Swedish buildings from the record year era (1961 – 1974) are now 40 – 55 years old and in many cases in need of extensive renovation measures. This need for renovation could be seen as an important opportunity to achieve overarching sustainability target levels and to perform renovation with a holistic approach. T...

A Knowledge Base for REnovation of Social Housing

Energy efficient and economic renovation of residential buildings with low- temperature heating and air heat recovery

...................................................................................................................................... i Sammanfattning ......................................................................................................................... ii Acknowledgements ..........................................................................................................

UNBOUNDEDNESS IN MOILP AND ITS EFFICIENT SOLUTIONS

In this paper we investigate Multi-Objective Integer Linear Programming (MOILP) problems with unbounded feasible region and introduce recession direction for MOILP problems. Then we present necessary and sufficient conditions to have unbounded feasible region and infinite optimal values for objective functions of MOILP problems. Finally we present some examples with unbounded feasible region and fi...